home *** CD-ROM | disk | FTP | other *** search
/ Cre@te Online 2000 December / Cre@teOnline CD05.iso / MacSoft / XML ConsoleMax.sea / XML ConsoleMax / Required / esc.jar / com / extensibility / app / Desktop$4.class (.txt) < prev    next >
Encoding:
Java Class File  |  2000-06-30  |  2.2 KB  |  65 lines
  1. package com.extensibility.app;
  2.  
  3. import java.awt.Frame;
  4. import java.awt.event.WindowAdapter;
  5. import java.awt.event.WindowEvent;
  6. import java.util.EventObject;
  7.  
  8. class Desktop$4 extends WindowAdapter {
  9.    public void windowClosed(WindowEvent var1) {
  10.       BaseWindow var2 = (BaseWindow)var1.getWindow();
  11.       if (Desktop.windows.indexOf(var2) != -1) {
  12.          Desktop.removeWindow(var2);
  13.          BaseDocument var3 = var2.getDocument();
  14.          if (Desktop.isLastWindowOfDocument(var2)) {
  15.             if (var3.getUndoManager() != null) {
  16.                var3.getUndoManager().discardAllEdits();
  17.             }
  18.  
  19.             Desktop.closingDocument(var3);
  20.             var3.close();
  21.          } else {
  22.             var3.getUndoManager().clearTo(var2);
  23.          }
  24.  
  25.          if (Desktop.windows.size() == 0) {
  26.             Desktop.welcome.show();
  27.          }
  28.  
  29.          Desktop.windowListChanged();
  30.          if (Desktop.frontWindow == var2) {
  31.             Desktop.frontWindow = Desktop.windows.size() == 0 ? null : (BaseWindow)Desktop.windows.elementAt(0);
  32.          }
  33.  
  34.       }
  35.    }
  36.  
  37.    public void windowOpened(WindowEvent var1) {
  38.       BaseWindow var2 = (BaseWindow)var1.getWindow();
  39.       Desktop.addWindow(var2);
  40.       if (Desktop.isLastWindowOfDocument(var2)) {
  41.          Desktop.openningDocument(var2.getDocument());
  42.       }
  43.  
  44.       Desktop.windowListChanged();
  45.    }
  46.  
  47.    public void windowClosing(WindowEvent var1) {
  48.       BaseWindow var2 = (BaseWindow)var1.getWindow();
  49.       BaseDocument var3 = var2.getDocument();
  50.       if (var3.isOkToClose(var2)) {
  51.          ((Frame)var2).dispose();
  52.       }
  53.  
  54.    }
  55.  
  56.    public void windowActivated(WindowEvent var1) {
  57.       Desktop.frontWindow = (BaseWindow)((EventObject)var1).getSource();
  58.       if (Desktop.windows.removeElement(Desktop.frontWindow)) {
  59.          Desktop.windows.insertElementAt(Desktop.frontWindow, 0);
  60.       }
  61.  
  62.       Desktop.activateDocument(Desktop.frontWindow.getDocument());
  63.    }
  64. }
  65.